and Science - PDFSEARCH.IO - Document Search Engine

and Science
Results: 374638

#	Item
151	SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:02:01 Philosophy Epistemology Philosophy of science Epistemology of science Analytic philosophy Scientific method Falsifiability Science Hypothetico-deductive model Scientific theory Occam's razor Theory
152	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:42 Software engineering Computer programming Theoretical computer science Automated theorem proving Lisp ACL2 Formal methods Logic in computer science Robert S. Boyer
153	June 28, 2018 APSA Statement on Trump v. Hawaii Ruling The American Political Science Association stands by its previous condemnations (from January 30, 2017 and March 7, 2017) of the administration’s executive actions Add to Reading List Source URL: www.apsanet.org Language: English - Date: 2018-06-29 08:55:08 American Political Science Association Dupont Circle APSA Sonia Sotomayor Trump v. Hawaii Political science Politics of the United States United States
154	Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 15:46:40 System software Computing Utility software Computer network security Computer security Configuration management Network architecture Software-defined networking Intrusion detection system Snort OpenFlow Traffic flow
155	Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-06-03 18:23:17 Mathematical analysis Mathematics Statistical randomness Measure theory Boolean algebra Experiment Sigma-algebra Markov chain Determinacy Linear temporal logic Stochastic game Markov decision process
156	Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:29 Control theory Systems science Automated planning and scheduling Classical control theory Metaphysics Mathematical optimization Systems theory Nonlinear system Planning Domain Definition Language Motion planning Controllability Trajectory optimization
157	Shaping Open Access and Creating Transparency Recommendation by Science Europe for the Disclosure of Publication Fees Science Europe is committed to playing a role in accomplishing the transition to Open Access in an eff Add to Reading List Source URL: www.scienceeurope.org Language: English - Date: 2017-04-21 09:29:17 Academic publishing Publishing Open access Free culture movement Knowledge Human behavior Electronic publishing Open science Article processing charge Open data Open research Hybrid open-access journal
158	Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-21 15:07:31 Software testing Computer security Security engineering Cyberwarfare Cybercrime Computer network security Fuzzing Software bugs Application security Vulnerability Internet of things Heartbleed
159	Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni Add to Reading List Source URL: www.netsec.ethz.ch Language: English Computing Information theory Information and communications technology Telecommunications engineering Data transmission Network performance Computer networking Internet architecture Multipath routing Transmission Control Protocol Packet loss Routing
160	Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-07-24 04:40:17 Artificial neural networks Computational neuroscience Applied mathematics Neuroscience Cybernetics Computational statistics Market research Deep learning Heart rate variability Emotion recognition Recurrent neural network Affective computing

UPDATE